Representational Reasoning and Verification
نویسندگان
چکیده
منابع مشابه
Sensing and Reasoning have Similar Representational Requirements
The cognitive significance of representation continues to be the subject of some debate. Some see representation as an integral part of cognition. Others see it as unnecessary or counter-productive, although there is often agreement that representation must be required at the level of reasoning, since by definition this operates on representational tokens. But, using information theory within t...
متن کاملReasoning and Verification
In this article we give an overview of tool-based verification of hardand software systems and discuss the relation between verification and logical reasoning. By verification we mean reasoning-based methods to establish dependability. This is not restricted to proofs of functional correctness but includes also other scenarios such as test generation or bug finding. We describe the main verific...
متن کاملOn Repairing Reasoning Reversals via Representational Refinements
Representation is a fluent. A mismatch between the real world and an agent’s representation of it can be signalled by unexpected failures (or successes) of the agent’s reasoning. The ‘real world’ may include the ontologies of other agents. Such mismatches can be repaired by refining or abstracting an agent’s ontology. These refinements or abstractions may not be limited to changes of belief, bu...
متن کاملSimulation and Analysis of Controlled Multi-Representational Reasoning Processes
Multi-representation reasoning processes often show a variety of reasoning paths that can be followed. To analyse such reasoning processes with special attention for differences between individuals, it is required (1) to obtain an overview of the variety of possibilities and (2) to address navigation and control within the reasoning process. This paper presents a simulation model and analysis f...
متن کاملThe Neural Mechanisms of Relational Reasoning: Dissociating Representational Types
The ability to reason about information is an essential human capability. It is less understood from the perspective of neurocognitive processes which can serve to constrain cognitive theories by implications from neuroscientific data. Despite some progress in the last decades, some disagreement about the experimental results and the cognitive processes of reasoning with abstract relations vers...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formal Aspects of Computing
سال: 2000
ISSN: 0934-5043
DOI: 10.1007/pl00003934